Jam Gray Paper Section 9.2.2 - Semantics - Gavin Wood Lecture Series